Skip to content

Remove [no-mentions] handler in our triagebot config#815

Merged
antoyo merged 1 commit into
rust-lang:masterfrom
Urgau:triagebot-remove-no-mentions
Dec 8, 2025
Merged

Remove [no-mentions] handler in our triagebot config#815
antoyo merged 1 commit into
rust-lang:masterfrom
Urgau:triagebot-remove-no-mentions

Conversation

@Urgau

@Urgau Urgau commented Dec 8, 2025

Copy link
Copy Markdown
Member

This PR removes the [no-mentions] handler in our triagebot config as GitHub is removing notifications for @-mentions in commit messages on December 8th 2025.

cf. rust-lang/triagebot#2225

@antoyo antoyo left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@antoyo
antoyo enabled auto-merge December 8, 2025 18:38
@antoyo
antoyo merged commit 059950e into rust-lang:master Dec 8, 2025
38 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants